Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
301	PII: S0165[removed] Add to Reading List Source URL: www.fuzzy.ugent.be Language: English - Date: 2005-06-09 09:15:55 Mathematical logic Equivalence relation Transitive relation Fuzzy set Equality Binary relation Fuzzy control system Finitary relation Equivalence class Mathematics Logic Fuzzy logic
302	Efficient Querying and Maintenance of Network Provenance at Internet-Scale Wenchao Zhou∗ Micah Sherr∗ Tao Tao∗ Xiaozhou Li∗ Boon Thau Loo∗ ∗ University of Pennsylvania Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2010-03-16 23:50:19 Data management Distributed hash table File sharing Relational database Tuple Provenance Distributed computing Binary decision diagram Network topology Mathematics Distributed data storage Mathematical logic
303	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
304	Saturation NOW Ming-Ying Chung and Gianfranco Ciardo Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:52 Algorithm Binary decision diagram Distributed computing Colorfulness Saturation ACT-R Applied mathematics Logic Model checking Mathematics Parallel computing
305	A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Ming-Ying Chung Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:47 Binary decision diagram Many-valued logic Mathematics Information science Diagrams Boolean algebra Model checking
306	Scheme and Syllabus of B.E. (Computer Science and Engineering) 3rd TO 8th Semester[removed]University Institute of Engineering and Technology, Add to Reading List Source URL: ssgpurc.puchd.ac.in Language: English Digital electronics Binary trees Algorithm Mathematical logic Theoretical computer science Binary search algorithm Computer Logic gate Integrated circuit Electronic engineering Electronics Computer hardware
307	Scheme and Syllabus of B.E. (Computer Science and Engineering) 3rd TO 8th Semester[removed]University Institute of Engineering and Technology, Add to Reading List Source URL: ssgpurch.puchd.ac.in Language: English Digital electronics Binary trees Algorithm Mathematical logic Theoretical computer science Binary search algorithm Computer Logic gate Integrated circuit Electronic engineering Electronics Computer hardware
308	Fast Private Set Operations with SEPIA Dilip Many [removed] Martin Burkhart [removed] Add to Reading List Source URL: www.sepia.ee.ethz.ch Language: English - Date: 2012-03-01 14:38:01 Bloom filter Hashing Set Secure multi-party computation Bit array Multiset Filter Intersection Cardinality Mathematics Mathematical logic Binary operations
309	Microsoft Word - Rejection and Revenge Final.docx Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2011-02-17 15:42:38 Philosophy of language Epistemology Semantics Branches of philosophy Binary operations Vagueness Borderline personality disorder Truth If and only if Logic Philosophy Science
310	FPGA IMPLEMENTATION OF DIGITAL FILTERS Chi-Jui Chou, Satish Mohanakrishnan, Joseph B. Evans Telecommunications & Information Sciences Laboratory Department of Electrical & Computer Engineering University of Kansas Lawren Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2005-07-19 15:28:40 Electronics Filter theory Adders Computer arithmetic Binary logic Field-programmable gate array Digital filter Finite impulse response Infinite impulse response Digital signal processing Electronic engineering Signal processing

UPDATE